Nondeterministic Finite State Machine